Kan Replacement of Simplicial Manifolds
نویسنده
چکیده
We establish a functor Kan from local Kan simplicial manifolds to weak Kan simplicial manifolds. It gives a solution to the problem of extending local Lie groupoids to Lie 2-groupoids.
منابع مشابه
Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation
Functional Kan simplicial sets are simplicial sets in which the horn-fillers required by the Kan extension condition are given explicitly by functions. We show the non-constructivity of the following basic result: if B and A are functional Kan simplicial sets, then A is a Kan simplicial set. This strengthens a similar result for the case of non-functional Kan simplicial sets shown by Bezem, Coq...
متن کاملOn Face Vectors of Barycentric Subdivisions of Manifolds
We study face vectors of barycentric subdivisions of simplicial homology manifolds. Recently, Kubitzke and Nevo proved that the g-vector of the barycentric subdivision of a Cohen–Macaulay simplicial complex is an M -vector, which in particular proves the g-conjecture for barycentric subdivisions of simplicial homology spheres. In this paper, we prove an analogue of this result for Buchsbaum sim...
متن کاملDiagonal Fibrations Are Pointwise Fibrations
On the category of bisimplicial sets there are different Quillen closed model structures associated to various definitions of fibrations. In one of them, which is due to Bousfield and Kan and that consists of seeing a bisimplicial set as a simplicial object in the category of simplicial sets, fibrations are those bisimplicial set maps such that each of the induced simplicial set maps is a Kan f...
متن کاملExplicit Simplicial Discretization of Distributed-Parameter Port-Hamiltonian Systems
Simplicial Dirac structures as finite analogues of the canonical Stokes-Dirac structure, capturing the topological laws of the system, are defined on simplicial manifolds in terms of primal and dual cochains related by the coboundary operators. These finite-dimensional Dirac structures offer a framework for the formulation of standard input-output finite-dimensional portHamiltonian systems that...
متن کاملTHE FUNCTORS W AND Diag ◦Nerve ARE SIMPLICIALLY HOMOTOPY EQUIVALENT
Given a simplicial group G, there are two known classifying simplicial set constructions, the Kan classifying simplicial set WG and Diag NG, where N denotes the dimensionwise nerve. They are known to be weakly homotopy equivalent. We will show that WG is a strong simplicial deformation retract of Diag NG. In particular, WG and Diag NG are simplicially homotopy equivalent.
متن کامل